Logic optimization - PDFSEARCH.IO - Document Search Engine

Logic optimization
Results: 335

#	Item
181	Partial Weighted MaxSAT for Optimal Planning Nathan Robinson† , Charles Gretton‡ , Duc Nghia Pham† , and Abdul Sattar† † ATOMIC Project, Queensland Research Lab, NICTA and Institute for Integrated and Intellige Add to Reading List Source URL: www.griffith.edu.au Language: English - Date: 2010-09-19 23:27:44 Operations research Mathematical optimization Logic in computer science Job shop scheduling Boolean satisfiability problem A* search algorithm Theoretical computer science Mathematics Applied mathematics
182	¨ t Augsburg Universita KAB 0 H Add to Reading List Source URL: www.multimedia-computing.de Language: English - Date: 2011-06-17 18:05:57 Mathematical optimization Algorithm Mathematical logic Theoretical computer science Genetic algorithm Greedy algorithm Linear programming Virtual camera system Mathematics Operations research Applied mathematics
183	Dependable self-hosting distributed systems using constraints Qin Yin∗, Justin Cappos†, Andrew Baumann∗, Timothy Roscoe∗ ∗ Systems † Department Group, Department of Computer Science, ETH Zurich Add to Reading List Source URL: people.inf.ethz.ch Language: English - Date: 2014-09-30 10:30:54 Computer programming Operations research Programming paradigms Mathematical optimization Constraint logic programming Logic programming ECLiPSe Linear programming PlanetLab Constraint programming Software engineering Declarative programming
184	Dr. Manuel Bodirsky Curriculum Vitae Born December 30, 1976, in Freiburg im Breisgau, Germany. German citizenship. Married with Michaela Metzger, three children: Lewin Bodirsky, born April 25, 2006. Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-02-07 06:50:56 Software engineering Constraint satisfaction Complexity of constraint satisfaction Local consistency Mathematical optimization Spatial–temporal reasoning Combinatorial optimization Linear programming Logic programming Constraint programming Theoretical computer science Applied mathematics
185	Towards Ultra Rapid Restarts! Shai Haim1 and Marijn Heule 2 1 University of New South Wales and NICTA, Sydney, Australia 2 Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2011-02-20 08:31:36 Operations research Constraint programming Boolean algebra Logic in computer science Mathematical optimization Boolean satisfiability problem GRASP Solver Sol Theoretical computer science Applied mathematics Mathematics
186	In: Paparoditis N., Pierrot-Deseilligny M., Mallet C., Tournaire O. (Eds), IAPRS, Vol. XXXVIII, Part 3B – Saint-Mandé, France, September 1-3, 2010 OPTIMUM SELECTION OF IMAGES IN INDUSTRIAL PHOTOGRAMMETRY USING FUZZY Add to Reading List Source URL: www.isprs.org Language: English - Date: 2012-10-18 14:37:33 Geodesy Surveying Optics Science Fuzzy control system Fuzzy logic Bundle adjustment Mathematical optimization Depth of field Photogrammetry Measurement Cartography
187	Journal of Business and Management Sciences, 2013, Vol. 1, No. 3, 36-43 Available online at http://pubs.sciepub.com/jbms/1/3/2 © Science and Education Publishing DOI:[removed]jbms[removed]Linear Programming Problem and P Add to Reading List Source URL: www.sciepub.com Language: English Fuzzy control system Fuzzy set Mathematical optimization Linear programming Fuzzy number Type-2 fuzzy sets and systems Fuzzy subalgebra Fuzzy logic Logic Mathematics
188	L:/Documents and Settings/Administrator/My Documents/Reseach/Gecco 2008 Abstract/t07pap188-qasem.dvi Add to Reading List Source URL: eprints.soton.ac.uk Language: English - Date: 2009-12-08 14:52:22 Logic in computer science Constraint programming Operations research Boolean algebra Boolean satisfiability problem Electronic design automation Maximum satisfiability problem Local search Stochastic optimization Theoretical computer science Applied mathematics Mathematics
189	Engineering Applications of Artiﬁcial Intelligence[removed]–181 Evolutionary algorithms, simulated annealing and tabu search: a comparative study Habib Youssef, Sadiq M. Sait, Hakim Adiche Department of Comput Add to Reading List Source URL: eprints.kfupm.edu.sa Language: English* - Date: 2011-04-06 01:17:08 Search algorithms Cybernetics Genetic algorithms Fuzzy logic Artificial intelligence Simulated annealing Algorithm Mathematical optimization Hill climbing Mathematics Applied mathematics Numerical analysis
190	Temperature-Aware Voltage Selection for Energy Optimization Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2008-04-04 10:15:04 Heat transfer Digital electronics Energy conservation Dynamic voltage scaling Logic families Thermal runaway CMOS Temperature Heat sink Electronic engineering Electronics Chemistry

UPDATE